\documentclass[a4paper,11pt]{article}

\usepackage[utf8]{inputenc}
\usepackage[spanish]{babel}
\usepackage{comment}
\usepackage[plain]{fullpage}
\usepackage{url}
\usepackage{cite}
\usepackage{todonotes}
%\usepackage[disable]{todonotes}

\usepackage{amssymb}

\usepackage{enumerate}

\begin{document}
\section*{Enunciado}
\hspace{-1cm}\includegraphics[width=1.1\textwidth]{trywith.png}
 
\section*{Resolución}

\texttt{M ::= \ldots | raise M | try $M_1$, $M_2$, \ldots, $M_n$ with $N$}

Vamos a terminar de extender el Cálculo $\lambda$.



\[
    T-raise \ \frac{\Gamma \triangleright t_1: T_{raise}}
            {\Gamma \triangleright raise\ t_1: T}
\]


\[
    T-try \ \frac{\Gamma \triangleright M_i: \sigma_i,\ \Gamma \triangleright N: T_{raise} \rightarrow \sigma_n}
                {\Gamma \triangleright try\ M_1, M_2, \ldots, M_n\ with\ N : \sigma_n}
\]


\[
    E-AppRaise \ \frac{}{(raise\ V_1) M \rightarrow raise\ V_1}
\]

\[
    E-AppRaise2 \ \frac{}{v_2\ (raise\ V_1) \rightarrow raise\ V_1}
\]

\[
    E-raise \ \frac{M \rightarrow M'}{raise\ M \rightarrow raise\ M'}
\]

\[
    E-raiseraise \ \frac{}{raise(raise\ M) \rightarrow raise\ M}
\]



\[
    E-try \ \frac{M_1 \rightarrow M_1'}
    {try\ M_1, \ldots, M_n\ with\ N \rightarrow try\ M_1', \ldots, M_n\ with\ N }
\]

\[
    E-try-ev \ \frac{}
    {try\ V_1, M_2, \ldots, M_n\ with\ N \rightarrow try\ M_2, \ldots, M_n\ with\ N }
\]
(en este caso n no puede ser cero, eso se ve aparte).

\[
    E-try-ev-fin \ \frac{}
    {try\ V_1 with\ N \rightarrow V_1 }
\]

\[
    E-try-raise \ \frac{}
    {try\ raise\ V_r, M_2, \ldots, M_n\ with\ N \rightarrow  N\ V_r }
\]
(en este caso n si puede ser cero, eso se ve aparte).




\end{document}













